Optimal. Leaf size=337 \[ \frac{5}{64} d^2 x^3 \sqrt{c^2 d x^2+d} \left (a+b \sinh ^{-1}(c x)\right )+\frac{5 d^2 x \sqrt{c^2 d x^2+d} \left (a+b \sinh ^{-1}(c x)\right )}{128 c^2}-\frac{5 d^2 \sqrt{c^2 d x^2+d} \left (a+b \sinh ^{-1}(c x)\right )^2}{256 b c^3 \sqrt{c^2 x^2+1}}+\frac{1}{8} x^3 \left (c^2 d x^2+d\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )+\frac{5}{48} d x^3 \left (c^2 d x^2+d\right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right )-\frac{b c^5 d^2 x^8 \sqrt{c^2 d x^2+d}}{64 \sqrt{c^2 x^2+1}}-\frac{17 b c^3 d^2 x^6 \sqrt{c^2 d x^2+d}}{288 \sqrt{c^2 x^2+1}}-\frac{59 b c d^2 x^4 \sqrt{c^2 d x^2+d}}{768 \sqrt{c^2 x^2+1}}-\frac{5 b d^2 x^2 \sqrt{c^2 d x^2+d}}{256 c \sqrt{c^2 x^2+1}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.466263, antiderivative size = 337, normalized size of antiderivative = 1., number of steps used = 12, number of rules used = 8, integrand size = 26, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.308, Rules used = {5744, 5742, 5758, 5675, 30, 14, 266, 43} \[ \frac{5}{64} d^2 x^3 \sqrt{c^2 d x^2+d} \left (a+b \sinh ^{-1}(c x)\right )+\frac{5 d^2 x \sqrt{c^2 d x^2+d} \left (a+b \sinh ^{-1}(c x)\right )}{128 c^2}-\frac{5 d^2 \sqrt{c^2 d x^2+d} \left (a+b \sinh ^{-1}(c x)\right )^2}{256 b c^3 \sqrt{c^2 x^2+1}}+\frac{1}{8} x^3 \left (c^2 d x^2+d\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )+\frac{5}{48} d x^3 \left (c^2 d x^2+d\right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right )-\frac{b c^5 d^2 x^8 \sqrt{c^2 d x^2+d}}{64 \sqrt{c^2 x^2+1}}-\frac{17 b c^3 d^2 x^6 \sqrt{c^2 d x^2+d}}{288 \sqrt{c^2 x^2+1}}-\frac{59 b c d^2 x^4 \sqrt{c^2 d x^2+d}}{768 \sqrt{c^2 x^2+1}}-\frac{5 b d^2 x^2 \sqrt{c^2 d x^2+d}}{256 c \sqrt{c^2 x^2+1}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5744
Rule 5742
Rule 5758
Rule 5675
Rule 30
Rule 14
Rule 266
Rule 43
Rubi steps
\begin{align*} \int x^2 \left (d+c^2 d x^2\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right ) \, dx &=\frac{1}{8} x^3 \left (d+c^2 d x^2\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )+\frac{1}{8} (5 d) \int x^2 \left (d+c^2 d x^2\right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right ) \, dx-\frac{\left (b c d^2 \sqrt{d+c^2 d x^2}\right ) \int x^3 \left (1+c^2 x^2\right )^2 \, dx}{8 \sqrt{1+c^2 x^2}}\\ &=\frac{5}{48} d x^3 \left (d+c^2 d x^2\right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right )+\frac{1}{8} x^3 \left (d+c^2 d x^2\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )+\frac{1}{16} \left (5 d^2\right ) \int x^2 \sqrt{d+c^2 d x^2} \left (a+b \sinh ^{-1}(c x)\right ) \, dx-\frac{\left (b c d^2 \sqrt{d+c^2 d x^2}\right ) \operatorname{Subst}\left (\int x \left (1+c^2 x\right )^2 \, dx,x,x^2\right )}{16 \sqrt{1+c^2 x^2}}-\frac{\left (5 b c d^2 \sqrt{d+c^2 d x^2}\right ) \int x^3 \left (1+c^2 x^2\right ) \, dx}{48 \sqrt{1+c^2 x^2}}\\ &=\frac{5}{64} d^2 x^3 \sqrt{d+c^2 d x^2} \left (a+b \sinh ^{-1}(c x)\right )+\frac{5}{48} d x^3 \left (d+c^2 d x^2\right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right )+\frac{1}{8} x^3 \left (d+c^2 d x^2\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )+\frac{\left (5 d^2 \sqrt{d+c^2 d x^2}\right ) \int \frac{x^2 \left (a+b \sinh ^{-1}(c x)\right )}{\sqrt{1+c^2 x^2}} \, dx}{64 \sqrt{1+c^2 x^2}}-\frac{\left (b c d^2 \sqrt{d+c^2 d x^2}\right ) \operatorname{Subst}\left (\int \left (x+2 c^2 x^2+c^4 x^3\right ) \, dx,x,x^2\right )}{16 \sqrt{1+c^2 x^2}}-\frac{\left (5 b c d^2 \sqrt{d+c^2 d x^2}\right ) \int x^3 \, dx}{64 \sqrt{1+c^2 x^2}}-\frac{\left (5 b c d^2 \sqrt{d+c^2 d x^2}\right ) \int \left (x^3+c^2 x^5\right ) \, dx}{48 \sqrt{1+c^2 x^2}}\\ &=-\frac{59 b c d^2 x^4 \sqrt{d+c^2 d x^2}}{768 \sqrt{1+c^2 x^2}}-\frac{17 b c^3 d^2 x^6 \sqrt{d+c^2 d x^2}}{288 \sqrt{1+c^2 x^2}}-\frac{b c^5 d^2 x^8 \sqrt{d+c^2 d x^2}}{64 \sqrt{1+c^2 x^2}}+\frac{5 d^2 x \sqrt{d+c^2 d x^2} \left (a+b \sinh ^{-1}(c x)\right )}{128 c^2}+\frac{5}{64} d^2 x^3 \sqrt{d+c^2 d x^2} \left (a+b \sinh ^{-1}(c x)\right )+\frac{5}{48} d x^3 \left (d+c^2 d x^2\right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right )+\frac{1}{8} x^3 \left (d+c^2 d x^2\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )-\frac{\left (5 d^2 \sqrt{d+c^2 d x^2}\right ) \int \frac{a+b \sinh ^{-1}(c x)}{\sqrt{1+c^2 x^2}} \, dx}{128 c^2 \sqrt{1+c^2 x^2}}-\frac{\left (5 b d^2 \sqrt{d+c^2 d x^2}\right ) \int x \, dx}{128 c \sqrt{1+c^2 x^2}}\\ &=-\frac{5 b d^2 x^2 \sqrt{d+c^2 d x^2}}{256 c \sqrt{1+c^2 x^2}}-\frac{59 b c d^2 x^4 \sqrt{d+c^2 d x^2}}{768 \sqrt{1+c^2 x^2}}-\frac{17 b c^3 d^2 x^6 \sqrt{d+c^2 d x^2}}{288 \sqrt{1+c^2 x^2}}-\frac{b c^5 d^2 x^8 \sqrt{d+c^2 d x^2}}{64 \sqrt{1+c^2 x^2}}+\frac{5 d^2 x \sqrt{d+c^2 d x^2} \left (a+b \sinh ^{-1}(c x)\right )}{128 c^2}+\frac{5}{64} d^2 x^3 \sqrt{d+c^2 d x^2} \left (a+b \sinh ^{-1}(c x)\right )+\frac{5}{48} d x^3 \left (d+c^2 d x^2\right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right )+\frac{1}{8} x^3 \left (d+c^2 d x^2\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )-\frac{5 d^2 \sqrt{d+c^2 d x^2} \left (a+b \sinh ^{-1}(c x)\right )^2}{256 b c^3 \sqrt{1+c^2 x^2}}\\ \end{align*}
Mathematica [A] time = 0.940361, size = 388, normalized size = 1.15 \[ \frac{d^2 \left (9216 a c^7 x^7 \sqrt{c^2 x^2+1} \sqrt{c^2 d x^2+d}+26112 a c^5 x^5 \sqrt{c^2 x^2+1} \sqrt{c^2 d x^2+d}+22656 a c^3 x^3 \sqrt{c^2 x^2+1} \sqrt{c^2 d x^2+d}+2880 a c x \sqrt{c^2 x^2+1} \sqrt{c^2 d x^2+d}-2880 a \sqrt{d} \sqrt{c^2 x^2+1} \log \left (\sqrt{d} \sqrt{c^2 d x^2+d}+c d x\right )-1440 b \sqrt{c^2 d x^2+d} \sinh ^{-1}(c x)^2+24 b \sqrt{c^2 d x^2+d} \sinh ^{-1}(c x) \left (-48 \sinh \left (2 \sinh ^{-1}(c x)\right )+24 \sinh \left (4 \sinh ^{-1}(c x)\right )+16 \sinh \left (6 \sinh ^{-1}(c x)\right )+3 \sinh \left (8 \sinh ^{-1}(c x)\right )\right )+576 b \sqrt{c^2 d x^2+d} \cosh \left (2 \sinh ^{-1}(c x)\right )-144 b \sqrt{c^2 d x^2+d} \cosh \left (4 \sinh ^{-1}(c x)\right )-64 b \sqrt{c^2 d x^2+d} \cosh \left (6 \sinh ^{-1}(c x)\right )-9 b \sqrt{c^2 d x^2+d} \cosh \left (8 \sinh ^{-1}(c x)\right )\right )}{73728 c^3 \sqrt{c^2 x^2+1}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.259, size = 537, normalized size = 1.6 \begin{align*}{\frac{ax}{8\,{c}^{2}d} \left ({c}^{2}d{x}^{2}+d \right ) ^{{\frac{7}{2}}}}-{\frac{ax}{48\,{c}^{2}} \left ({c}^{2}d{x}^{2}+d \right ) ^{{\frac{5}{2}}}}-{\frac{5\,adx}{192\,{c}^{2}} \left ({c}^{2}d{x}^{2}+d \right ) ^{{\frac{3}{2}}}}-{\frac{5\,a{d}^{2}x}{128\,{c}^{2}}\sqrt{{c}^{2}d{x}^{2}+d}}-{\frac{5\,a{d}^{3}}{128\,{c}^{2}}\ln \left ({{c}^{2}dx{\frac{1}{\sqrt{{c}^{2}d}}}}+\sqrt{{c}^{2}d{x}^{2}+d} \right ){\frac{1}{\sqrt{{c}^{2}d}}}}-{\frac{5\,{d}^{2}b{x}^{2}}{256\,c}\sqrt{d \left ({c}^{2}{x}^{2}+1 \right ) }{\frac{1}{\sqrt{{c}^{2}{x}^{2}+1}}}}+{\frac{5\,{d}^{2}b{\it Arcsinh} \left ( cx \right ) x}{128\,{c}^{2} \left ({c}^{2}{x}^{2}+1 \right ) }\sqrt{d \left ({c}^{2}{x}^{2}+1 \right ) }}+{\frac{{d}^{2}b{c}^{6}{\it Arcsinh} \left ( cx \right ){x}^{9}}{8\,{c}^{2}{x}^{2}+8}\sqrt{d \left ({c}^{2}{x}^{2}+1 \right ) }}-{\frac{{d}^{2}b{c}^{5}{x}^{8}}{64}\sqrt{d \left ({c}^{2}{x}^{2}+1 \right ) }{\frac{1}{\sqrt{{c}^{2}{x}^{2}+1}}}}+{\frac{23\,{d}^{2}b{c}^{4}{\it Arcsinh} \left ( cx \right ){x}^{7}}{48\,{c}^{2}{x}^{2}+48}\sqrt{d \left ({c}^{2}{x}^{2}+1 \right ) }}-{\frac{17\,{d}^{2}b{c}^{3}{x}^{6}}{288}\sqrt{d \left ({c}^{2}{x}^{2}+1 \right ) }{\frac{1}{\sqrt{{c}^{2}{x}^{2}+1}}}}+{\frac{127\,{d}^{2}b{c}^{2}{\it Arcsinh} \left ( cx \right ){x}^{5}}{192\,{c}^{2}{x}^{2}+192}\sqrt{d \left ({c}^{2}{x}^{2}+1 \right ) }}-{\frac{59\,{d}^{2}bc{x}^{4}}{768}\sqrt{d \left ({c}^{2}{x}^{2}+1 \right ) }{\frac{1}{\sqrt{{c}^{2}{x}^{2}+1}}}}+{\frac{133\,{d}^{2}b{\it Arcsinh} \left ( cx \right ){x}^{3}}{384\,{c}^{2}{x}^{2}+384}\sqrt{d \left ({c}^{2}{x}^{2}+1 \right ) }}+{\frac{359\,{d}^{2}b}{73728\,{c}^{3}}\sqrt{d \left ({c}^{2}{x}^{2}+1 \right ) }{\frac{1}{\sqrt{{c}^{2}{x}^{2}+1}}}}-{\frac{5\,b \left ({\it Arcsinh} \left ( cx \right ) \right ) ^{2}{d}^{2}}{256\,{c}^{3}}\sqrt{d \left ({c}^{2}{x}^{2}+1 \right ) }{\frac{1}{\sqrt{{c}^{2}{x}^{2}+1}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left ({\left (a c^{4} d^{2} x^{6} + 2 \, a c^{2} d^{2} x^{4} + a d^{2} x^{2} +{\left (b c^{4} d^{2} x^{6} + 2 \, b c^{2} d^{2} x^{4} + b d^{2} x^{2}\right )} \operatorname{arsinh}\left (c x\right )\right )} \sqrt{c^{2} d x^{2} + d}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (c^{2} d x^{2} + d\right )}^{\frac{5}{2}}{\left (b \operatorname{arsinh}\left (c x\right ) + a\right )} x^{2}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]